Forme sesquilinéaire
Fonction \(f:E\times E\to{\Bbb C}\) qui vérifie les conditions :
- semi-linéarité/anti-linéarité par rapport à la première variable : $$\forall x,x^\prime,y\in E,\forall \lambda\in{\Bbb C},\quad f(x+\lambda x^\prime,y)=f(x,y)+\overline\lambda f(x^\prime,y)$$
- linéarité par rapport à la deuxième variable : $$\forall x,y,y^\prime\in E,\forall \lambda\in{\Bbb C},\quad f(x,y+\lambda y^\prime)=f(x,y)+\lambda f(x,y^\prime)$$
- étymologiquement, "sesquilinéaire" signifie "une fois et demie linéaire"
